Source Accountability with Domain-brokered Privacy Taeho Lee, Christos Pappas, David Barrera, Pawel Szalachowski, Adrian Perrig ETH Zürich {kthlee, pappasch, david.barrera, psz, adrian.perrig}@inf.ethz.ch ABSTRACT

Source URL: www.netsec.ethz.ch

SWIFT: Predictive Fast Reroute Technical Report Thomas Holterbach∗† , Stefano Vissicchio‡ , Alberto Dainotti† , Laurent Vanbever∗ ∗ ETH Zürich, † CAIDA, UC San Diego, ‡ University College London ABSTRACT

Source URL: swift.ethz.ch

Three Bits Suffice: Explicit Support for Passive Measurement of Internet Latency in QUIC and TCP Piet De Vaere, Tobias Bühler, Mirja Kühlewind, and Brian Trammell ETH Zurich, Switzerland ABSTRACT

Source URL: nsg.romeier.ch

• Data transmission
• Computing
• Computer networking
• Network performance
• Internet protocols
• Information and communications technology
• QUIC
• Round-trip delay time
• Transmission Control Protocol
• Packet loss
• Transport layer
• Latency

Inferring Crypto API Rules from Code Changes Rumen Paletov∗ Petar Tsankov ETH Zurich, Switzerland

Source URL: files.sri.inf.ethz.ch

Enter the Hydra: Towards Principled Bug Bounties and Exploit-Resistant Smart Contracts Lorenz Breidenbach, Cornell Tech, IC3, ETH Zurich; Philip Daian, Cornell Tech, IC3; Florian Tramer, Stanford; Ari Juels, Cornell Tech

Source URL: www.usenix.org

• Cryptocurrencies
• Ethereum
• Blockchains
• Computing
• Alternative currencies
• Concurrent computing
• Distributed computing
• Cross-platform software
• Bug bounty program
• Smart contract
• Software bug
• Bounty

Payment Network Design with Fees arXiv:1810.07585v1 [cs.DS] 17 Oct 2018 Georgia Avarikioti, Gerrit Janssen, Yuyi Wang, and Roger Wattenhofer ETH Zurich, Switzerland

Source URL: arxiv.org

• Mathematics
• Graph theory
• Computational complexity theory
• Network theory
• Edsger W. Dijkstra
• Computational problems
• Shortest path problem
• Dynamic programming
• Graph
• Optimization problem
• Bitcoin
• Max-flow min-cut theorem

Synthesis of Memory Fences via Refinement Propagation Yuri Meshman2 , Andrei Dan1 , Martin Vechev1 , and Eran Yahav2 1 ETH Zurich

Source URL: practicalsynthesis.github.io

• Computing
• Computer architecture
• Concurrent computing
• Theoretical computer science
• Computer programming
• Refinement
• Abstract interpretation
• Memory barrier
• Abstraction
• Algorithm
• Thread

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier∗ , Petar Tsankov∗ , Vincent Lenders , Laurent Vanbever∗ , Martin Vechev∗ ∗ ETH Zürich

Source URL: www.lenders.ch

• Internet architecture
• Computing
• Network architecture
• Routing
• Information and communications technology
• Computer networking
• Internet protocols
• Traceroute
• Hop
• Network topology
• Forwarding plane
• Computer network

NetHide: Secure and Practical Network Topology Obfuscation Roland Meier◦, Petar Tsankov◦, Vincent Lenders, Laurent Vanbever◦, Martin Vechev◦ ◦ ETH Zürich,

Source URL: nsg.romeier.ch

• Electromagnetism
• Transistortransistor logic
• Topology
• Network topology
• Computer network
• Electrical engineering
• Electronics

Boosting the BGP convergence in SDXes with SWIFT Philipp Mao Rüdiger Birkner ETH Zürich

Source URL: swift.ethz.ch

• Computing
• Internet architecture
• Information and communications technology
• Internet
• Computer networking
• Internet Standards
• Internet protocols
• Routing protocols
• Border Gateway Protocol
• Router
• IP routing
• AS3